type t = K : forall a. a -> t

let f x = 
  match x with
  | K a (y) -> true
  end
